Representing Continuous Change in the Event Calculus
نویسنده
چکیده
The Event Calculus of Kowalski and Sergot only deals with discrete change. This paper introduces a simplified version of the Event Calculus and extends it to deal with continuous change, as in the height of a falling object or the level of liquid in a filling vessel. The idea of autotermination is introduced. A period of continuous change autoterminates if it brings about the event which terminates it. For example, when the increasing level of water in a sink reaches the overflow, it ceases to increase. The formulation is applied to a simple example with liquid filling a sink, and to a more complicated one with many tanks discharging liquid into another tank. In Proceedings ECAI 90, pages 598-603
منابع مشابه
Representing Continuous Change in the Abductive Event Calculus
In this paper we extend the Abductive Event Calculus, a variant and extension of the Event Calculus of Kowalski and Sergot, with a representation for continuous change. We assume the change is not exactly known and use constraints to represent the available knowledge. The resulting logic program can be executed by the SLDNFA abductive procedure of Denecker and De Schreye. We show how our repres...
متن کاملEvent Calculus
The event calculus [45, 66, 74, 98, 100] is a formalism for reasoning about action and change. Like the situation calculus, the event calculus has actions, which are called events, and time-varying properties or fluents. In the situation calculus, performing an action in a situation gives rise to a successor situation. Situation calculus actions are hypothetical, and time is tree-like. In the e...
متن کاملThe Event Calculus Explained
This article presents the event calculus, a logic-based formalism for representing actions and their effects. A circumscriptive solution to the frame problem is deployed which reduces to monotonic predicate completion. Using a number of benchmark examples from the literature, the formalism is shown to apply to a variety of domains, including those featuring actions with indirect effects, action...
متن کاملReasoning about Continuous Change
The problem of formalising continuous change within reasoning about action systems such as the situation calculus has recently been receiving increasing attention ((Rei96], MS96]). In this paper we show that a long-existing systems theoretic reasoning methodology, that of Zeigler's DEVS (discrete event system speciication), not only subsumes the standard situation calculus but is able to elegan...
متن کاملA Case Study in Reasoning about Processes
In this paper, we give a case study to show how a high level semantics of processes can be integrated with the event calculus to reason about complex, continuous processes. We present a formal method to specify the semantics of processes in the event calculus and implement the automated reasoning about processes and continuous change in the logical programming framework. Key-words: Reasoning, P...
متن کامل